tireworld.45.jani:model: info: jani_from_ppddl is an MDP model.
tireworld.45.jani: info: Need 24 bytes per state.
tireworld.45.jani: info: Explored 46137256 states.
Peak memory usage: 11185 MB
Analysis results for tireworld.45.jani
+ State space exploration
State size: 24 bytes
States: 46137256
Transitions: 105905930
Branches: 192413242
Rate: 245879 states/s
Time: 232.2 s
+ Property goal
Probability: 0.9359999999846332
Bounds: [0.9359999999846332, 1]
Time: 222.2 s
+ Essential states
Iterations: 2
Essential states: 42729387
Transitions: 102498061
Branches: 189005373
Time: 42.3 s
+ Value iteration
Final error: 6.001134454753971E-07
Iterations: 38
Time: 178.0 s
Exported results to file "/out.txt".